package tarantula.experiment.timeandmoney;

import junit.framework.TestCase;

public class TimeAndMoneyFailedTestsSimpleTestBug2 extends TestCase {

	public void test6() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var1 = com.domainlanguage.time.Duration.days((int)var0);
	    java.lang.Integer var2 = new java.lang.Integer(0);
	    com.domainlanguage.time.Duration var3 = com.domainlanguage.time.Duration.days((int)var2);
	    com.domainlanguage.time.Duration var4 = var1.minus(var3);
	    
	    // Checks the contract:  equals-hashcode on var1 and var4
	    assertTrue("Contract failed: equals-hashcode on var1 and var4", var1.equals(var4) ? var1.hashCode() == var4.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var4 and var1
	    assertTrue("Contract failed: equals-hashcode on var4 and var1", var4.equals(var1) ? var4.hashCode() == var1.hashCode() : true);

	  }
	
	public void test7() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    java.lang.Integer var1 = new java.lang.Integer(1);
	    com.domainlanguage.time.Duration var2 = com.domainlanguage.time.Duration.days((int)var0);
	    com.domainlanguage.time.Duration var3 = com.domainlanguage.time.Duration.minutes((int)var1);
	    com.domainlanguage.time.Duration var4 = var2.plus(var3);
	    
	    // Checks the contract:  equals-hashcode on var3 and var4
	    assertTrue("Contract failed: equals-hashcode on var3 and var4", var3.equals(var4) ? var3.hashCode() == var4.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var4 and var3
	    assertTrue("Contract failed: equals-hashcode on var4 and var3", var4.equals(var3) ? var4.hashCode() == var3.hashCode() : true);

	  }
	
	public void test11() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    java.lang.Integer var1 = new java.lang.Integer(100);
	    com.domainlanguage.time.TimePoint var2 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0);
	    com.domainlanguage.time.Duration var3 = com.domainlanguage.time.Duration.hours((int)var1);
	    com.domainlanguage.time.TimeInterval var4 = com.domainlanguage.time.TimeInterval.preceding(var2, var3);
	    com.domainlanguage.time.Duration var5 = var4.length();
	    
	    // Checks the contract:  equals-hashcode on var3 and var5
	    assertTrue("Contract failed: equals-hashcode on var3 and var5", var3.equals(var5) ? var3.hashCode() == var5.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var5 and var3
	    assertTrue("Contract failed: equals-hashcode on var5 and var3", var5.equals(var3) ? var5.hashCode() == var3.hashCode() : true);

	  }
	
	public void test21() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    com.domainlanguage.time.Duration var1 = com.domainlanguage.time.Duration.days((int)var0);
	    java.lang.Integer var2 = new java.lang.Integer(1);
	    com.domainlanguage.time.Duration var3 = com.domainlanguage.time.Duration.weeks((int)var2);
	    com.domainlanguage.time.Duration var4 = var1.plus(var3);
	    
	    // Checks the contract:  equals-hashcode on var3 and var4
	    assertTrue("Contract failed: equals-hashcode on var3 and var4", var3.equals(var4) ? var3.hashCode() == var4.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var4 and var3
	    assertTrue("Contract failed: equals-hashcode on var4 and var3", var4.equals(var3) ? var4.hashCode() == var3.hashCode() : true);

	  }
}
